State complexity characterizations of parameterized degree-bounded graph connectivity, sub-linear space computation, and the linear space hypothesis

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

GRADUAL NORMED LINEAR SPACE

In this paper, the gradual real numbers are considered and the notion of the gradual normed linear space is given. Also some topological properties of such spaces are studied, and it is shown that the gradual normed linear space is a locally convex space, in classical sense. So the results in locally convex spaces can be translated in gradual normed linear spaces. Finally, we give an examp...

متن کامل

Bounded Treewidth and Space-Efficient Linear Algebra

Motivated by a recent result of Elberfeld, Jakoby and Tantau[EJT10] showing that MSO properties are Logspace computable on graphs of bounded tree-width, we consider the complexity of computing the determinant of the adjacency matrix of a bounded tree-width graph and as our main result prove that it is in Logspace. It is important to notice that the determinant is neither an MSO-property nor cou...

متن کامل

Complex Banach Space of Bounded Linear Operators

Let X be a set, let Y be a non empty set, let F be a function from [: C, Y :] into Y , let c be a complex number, and let f be a function from X into Y . Then F ◦(c, f) is an element of Y X . We now state the proposition (1) Let X be a non empty set and Y be a complex linear space. Then there exists a function M1 from [: C, (the carrier of Y ) X :] into (the carrier of Y ) such that for every C...

متن کامل

Banach Space of Bounded Linear Operators

Let X be a set, let Y be a non empty set, let F be a function from [: R, Y :] into Y , let a be a real number, and let f be a function from X into Y . Then F ◦(a, f) is an element of Y X . One can prove the following propositions: (1) Let X be a non empty set and Y be a non empty loop structure. Then there exists a binary operation A1 on (the carrier of Y ) X such that for all elements f , g of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 2019

ISSN: 0304-3975

DOI: 10.1016/j.tcs.2019.09.006